Embedded Software using Components and Contracts (Position Paper)
نویسندگان
چکیده
In the left figure two components are shown which are used to compute and display car speed: speed display and speedometer. Because the speedometer has to send speed updates to the speed display, it needs a port which is connected via a connector to a port on the speed display component. Ports have a multiplicity: this indicates how many ports of this type exist. Every port also has a role. The role of a port indicates which role the port plays in the communication between both components. Most of the concepts presented in this figure have similar counterparts in the ROOM method.
منابع مشابه
Embedded Software Development: Components and Contracts
This paper presents a new approach to building software for embedded systems, based on the use of components in combination with contracts. The contracts specify the non-functional (resource) requirements of the different components in the system. This is especially important in embedded systems, since these systems are resourceconstrained. Our approach includes tool support for building embedd...
متن کاملThe SEESCOA Composer Tool: Using Contracts for Component Composition and Run-Time Monitoring
In this paper, our approach for building embedded applications is presented. The approach is based on the composition of reusable components with the addition of a contract principle for modelling non-functional constraints. Non-functional constraints are an important aspect of embedded systems, and are therefore modelled separately in contracts. As such, the component view presented here diffe...
متن کاملA Tool for Component Based Design of Embedded Software
In this paper a new approach for building embedded applications is presented. The approach is based on the composition of reusable components with the addition of a contract principle for modelling non-functional constraints. Non-functional constraints are an important aspect of embedded systems, and this is why they are modelled separately. As such, the component view presented here differs fr...
متن کاملA Flexible Strategy for Embedding and Configuring Run-Time Contract Checks in .Net Components
In component-based systems, there are several obstacles to using Design by Contract (DbC), particularly with respect to third-party components. Contracts are particularly valuable when debugging or testing composite software structures that include third-party components. However, existing approaches have critical weaknesses. First, existing approaches typically require a component’s source cod...
متن کاملTesting-for-Trust: The Genetic Selection Model Applied to Component Qualification
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is particularly adapted to a design-by-contract approach, where the specification is systematically derived into executable assertions (invariant properties, pre/postconditions of methods). This method, based on test qual...
متن کامل